Andreas ZellerAbsicherung von verteilten Automatisierungssystemen nach Änderungen der SteuerungssoftwareModellkomposition zur Nutzung der funktionalen Verifikation | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ISBN: | 978-3-8440-7039-2 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Reeks: | IAS-Forschungsberichte Uitgever: Prof. Dr.-Ing. Dr. h. c. Michael Weyrich Stuttgart | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Volume: | 2019,2 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Trefwoorden: | formale Verifikation; Absicherung; Model Checking; Automatisierungstechnik; verteilte Systeme; Softwaretest | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Soort publicatie: | Dissertatie | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Taal: | Duits | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Pagina's: | 142 pagina's | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Gewicht: | 209 g | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Formaat: | 21 x 14,8 cm | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Bindung: | Softcover | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Prijs: | 45,80 € / 57,30 SFr | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Verschijningsdatum: | November 2019 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Kopen: | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Download: | Beschikbare online documenten voor deze titel: U heeft Adobe Reader, nodig, om deze bestanden te kunnen bekijken. Hier vindt u ondersteuning en informatie, bij het downloaden van PDF-bestanden. Let u er a.u.b. op dat de online-bestanden niet drukbaar zijn.
Gebruikersinstellingen voor geregistreerde online-bezoekers Hier kunt u uw adresgegevens aanpassen en uw documenten inzien.
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Aanbevelen: | Wilt u dit boek aanbevelen? | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Recensie-exemplaar | Bestelling van een recensie-exemplaar. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Verlinking | Wilt u een link hebben van uw publicatie met onze online catalogus? Klik hier. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Samenvatting | Wirtschaftliche und technologische Treiber führen dazu, dass sich Steuerungen von Automatisierungssystemen zunehmend zu komplexen Softwaresystemen wandeln. Dabei ermöglicht Software die Realisierung komplexer Steuerungsaufgaben und, aufgrund der leichten Änderbarkeit, ein wandlungsfähiges Steuerungssystem. Jede Änderung birgt aber auch das Risiko, dass dabei eingebrachte Fehler zu einem Fehlverhalten oder dem Ausfall eines Systems führen. Insbesondere bei sicherheitskritischen Anlagen ist das Testen nach Änderung der Steuerungssoftware daher unabdingbar. Eine besondere Herausforderung stellt dabei Testen von verteilten Software-Systemen dar, da oftmals komplexe Abhängigkeitsbeziehungen existieren. Da Funktionsänderungen an Steuerungssystemen zunehmend in der Betriebsphase notwendig werden, stellt dies hohe Anforderungen an Anlagenbetreiber, welche häufig weniger Erfahrung im Bereich Softwaretest besitzen. Zur Unterstützung von Anlagenbetreibern bei der Absicherung von softwarebasierten Änderungen an Steuerungssystemen wird in der vorliegenden Arbeit ein Konzept für einen strukturierten und automatisierten Absicherungsprozess vorgestellt. Es zielt darauf ab, durch eine automatisierte Auswirkungsanalyse und Generierung formaler Verhaltensmodelle, formale Verifikationsmethoden für Anlagenbetreiber nutzbar zu machen. |